Contribution de Xavier Luffin

Contribution à l'étude de la maladie athéromateuse

Contribution a l'etude de Salmonella dublin. Nouvelles varietes biochimiques. Classifications

Xavier Daura 2 , Alan

30epartment of Biophysical Chemistry, University of Groningen, Nijenborgh 4 9747 AG, Groningen, The Netherlands A principal component analysis has been applied on equilibrium simulations of a p-heptapeptide that shows reversibIe folding in a methanol solution. The analysis shows that the configurational space contains only three dense sub-states. These states of relatively low tree energy corre...

Lessons learned from Xavier

Mathematical Logic Xavier

In any model theoretic logic, Beth’s definability property together with Feferman-Vaught’s uniform reduction property for pairs imply recursive compactness, and the existence of models with infinitely many automorphisms for sentences having infinite models. The stronger Craig’s interpolation property plus the uniform reduction property for pairs yield a recursive version of Ehrenfeucht-Mostowsk...